Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
81	On solving mixed-integer constraint satisfaction problems with unbounded variables Hermann Schichl? , Arnold Neumaier, Mih´ aly Csaba Mark´ot, and Ferenc Domes Faculty of Mathematics, University of Vienna, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-01-14 04:38:39 Computing Constraint satisfaction Local consistency Mathematical optimization Projective space Transcendental number Linear programming Constraint logic programming Constraint programming Software engineering Computer programming
82	Compiler and Runtime Analysis for Efficient Communication in Data Intensive Applications Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2002-03-20 08:48:05 Software optimization Algorithm Mathematical logic Theoretical computer science Parallel computing Lookup table Data-flow analysis Computing Computer programming Computer performance
83	A Mathematical Framework for the Study of Coevolution Anthony Bucci DEMO Lab Computer Science Department, MS018 Brandeis University Add to Reading List Source URL: demo.cs.brandeis.edu Language: English - Date: 2003-02-02 08:58:09 Mathematics Operations research Abstraction Game theory Pareto efficiency Preorder Maximal element Entailment Multi-objective optimization Mathematical optimization Logic Order theory
84	Parallel Branch, Cut, and Price for Large-Scale Discrete Optimization T. K. Ralphs∗ L. Lad´anyi† Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2010-06-19 14:25:53 Parallel computing Combinatorial optimization Operations research Algorithm Mathematical logic Theoretical computer science Branch and bound Heuristic function Parallel algorithm Concurrent computing Computing Mathematics
85	Journal of Artificial Intelligence Research533 Submitted 12/13; publishedImproving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions Add to Reading List Source URL: jair.org Language: English - Date: 2014-06-30 19:43:41 Problem solving Admissible heuristic Mathematical optimization Fluent Innovation Science Applied mathematics Heuristics Logic in computer science Artificial intelligence
86	Generation of Eﬃcient Algorithms for Maximum Marking Problems (和訳: 最大マーク付け問題の効率的解法の自動生成) Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2014-02-04 09:21:05 Operations research Combinatorial optimization Mathematical optimization NP-complete problems Algorithm Mathematical logic Knapsack problem Optimization problem Genetic algorithm Applied mathematics Theoretical computer science Computational complexity theory
87	ANNALS OF PURE AND APPLIED LOGIC Annals of Pure and Applied Logic276 Fixed-parameter tractability and completeness IV: Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-10-14 09:20:30 Complexity classes NP-complete problems Structural complexity theory Mathematical optimization Parameterized complexity Dominating set P versus NP problem NP-complete Combinatory logic Theoretical computer science Computational complexity theory Applied mathematics
88	Microsoft Word - Dušan Teodorović.doc Add to Reading List Source URL: www.konus.ac.rs Language: English - Date: 2014-09-30 04:27:02 Ant colony optimization algorithms Stochastic optimization Bees algorithm Fuzzy logic Logic Applied mathematics Artificial intelligence Mathematics Logic in computer science
89	Principles and Methods for Automated Inference Rina Dechter and Irina Rish Information and Computer Science Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:22 Functions and mappings Statistics Bayesian network Constraint satisfaction Constraint optimization Function Constraint logic programming Constraint programming Mathematics Mathematical optimization
90	Adapting Query Optimization Techniques for Efficient Intrusion Alert Correlation∗ Peng Ning and Dingbang Xu Department of Computer Science, North Carolina State University Raleigh, NC Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:26:06 Mathematical logic Hash table Hash function Alert correlation Predicate Trie Logic programming Database index Extensible Storage Engine Search algorithms Logic Computing

UPDATE